Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
231	Abstract Syntax Trees COMS W4115 Prof. Stephen A. Edwards Spring 2002 Columbia University Department of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-02-05 09:43:44 Parsing Formal languages Subroutines Recursion Parser generators ANTLR ECL programming language Syntactic predicate Main function Software engineering Computing Computer programming
232	All-Topology, Semi-Abstract Syntactic Features for Text Categorisation Ari Chanen School of Information Technologies University of Sydney Sydney, Australia, 2006 [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2008-10-31 17:51:38 Natural language processing Semantics Compiler construction Parsing Comparison of C Sharp and Java Parse tree Word-sense disambiguation Minimalist program Linguistics Syntax Computational linguistics
233	Distributive Morphology: Interface Effects on Collective & Distributive Plurality * ABSTRACT: I argue for the existence of a head ‘#’ which is merged to certain plural noun projections, and which allows for merger of Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Syntax Parts of speech Collective noun Predicate Plural Singular they Noun Agreement Linguistics Grammatical number Grammar
234	Common Alerting Protocol Version 1.2 Public Review Draft[removed]September 2009 Specification URIs: This Version: http://docs.oasis-open.org/emergency/cap/v1.2/pr02/CAP-v1.2-PR02.html Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2009-11-08 16:30:01 Markup languages Computer file formats Technical communication Common Alerting Protocol Open formats OASIS Abstract Syntax Notation One Emergency Alert System EDXL Computing XML Information
235	Network Working Group Request for Comments: 1353 K. McCloghrie Hughes LAN Systems, Inc. J. Davin Add to Reading List Source URL: www.rfc-editor.org Language: English - Date: 2002-03-27 15:09:17 Internet Management information base Simple Network Management Protocol Object identifier Basic Encoding Rules Abstract Syntax Notation One Uniform resource identifier Identifier Net-SNMP Network management Computing Information technology management
236	This PDF file contains a chapter of: INTEGRATED COMMUNICATIONS MANAGEMENT OF BROADBAND NETWORKS Crete University Press, Heraklio, Greece ISBN[removed] Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 1998-07-09 08:04:48 OSI protocols Common Management Information Service ISODE OSI model Simple Network Management Protocol Abstract Syntax Notation One Guidelines for the Definition of Managed Objects Directory service Telecommunications Management Network Network management Computing Information technology management
237	What’s in Main Tobias Nipkow August 27, 2014 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available. For infix Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Computing Programming language theory ALGOL 68 Software engineering
238	Network Working Group Request for Comments: Obsoletes: RFC 1098 J. Case SNMP Research Add to Reading List Source URL: www.rfc-editor.org Language: English - Date: 2002-03-27 15:05:20 System software Simple Network Management Protocol Management information base Structure of Management Information Abstract Syntax Notation One Network management station Simple Gateway Monitoring Protocol Net-SNMP Common Management Information Protocol Network management Information technology management Computing
239	Metrics Frama-C’s metrics plug-in Sodium[removed]Richard Bonichon & Boris Yakobowski Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Software Frama-C Cyclomatic complexity Software quality Abstract syntax tree Function point Software metrics Software engineering Computer programming
240	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic

UPDATE